## assert_h
